% End Composite Proof

SeparationSave restore